Deep Energy-based Modeling of Discrete-Time Physics