Higher order discrete Lagrangian mechanics