Model-Based Commutation of a Long-Stroke Magnetically Levitated Linear Actuator