Physics-constrained deep learning of building thermal dynamics