A set of Simulink models to compare the performances of different types of braking in three-phase asynchronous machine