A Lie group variational integrator for rigid body motion in SE(3) with applications to underwater vehicle dynamics | IEEE Conference Publication | IEEE Xplore