The maximum principle for discrete-time control systems and applications to dynamic games