Holonomic systems Celestial mechanics mathematics