PIMS Seminar: Lie group and homogeneous variational integrators and their applications to geometric optimal control theory