Performance Comparison of Permanent Magnet Linear Actuators of Different Mover Types