Control of an electromagnetic aircraft launch system based on a superconducting linear synchronous motor