Anti-lock braking control design using a Nonlinear Model Predictive approach and wheel information