Differentiable Sparse Identification of Lagrangian Dynamics