Model-based predictive bipedal walking stabilization