An End-to-End Differentiable but Explainable Physics Engine for Tensegrity Robots: Modeling and Control