A Model Predictive Control approach to micro-slip control of Automated Manual Transmission systems