Discrete time model predictive control for humanoid walking with step adjustment