Trotter derived algorithms for molecular dynamics with constraints: Velocity Verlet revisited