Lagrangian neural networks for nonholonomic mechanics