Nonholonomic systems Celestial mechanics mathematics