Physics-constrained Deep Recurrent Neural Models of Building Thermal Dynamics