Design Oriented Analytical Modelling of Linear Synchronous On-Board Generators for EMS Maglev Systems