Title: Time-optimal control of mechanical systems