Lyra builds physics-guided machine learning models to derive structure-preserving neural integrators from variational principles, predict critical transitions in dynamical systems, and optimize robot locomotion