A discrete-time Pontryagin maximum principle on matrix Lie groups. (November 2018)