Stochastic maximum principle for discrete time mean-field optimal control problems