Modelling and Simulation of a Fault-tolerant Electrical Motor for Aerospace Servovalves with Modelica