On the geometry of Lagrangian mechanics with non-holonomic constraints