General expressions of propulsion forces in EDS-MAGLEV transport systems with superconducting coils