Mutual-Inductance Modelling in Line-Start Permanent-Magnet Synchronous Machines based on Winding-Function Theory