Mathematical model of on-board power supply for EDS-MAGLEV transport systems