Warco WM18: Mini-mill fitted with mini-magnetic encoders