End-to-end machine learning of Lyapunov-stable MPC for nonlinear systems with unknown dynamics | Synapse