Lie Group Variational Integrators and Applications to Flight Control