Path following using transverse feedback linearization: Application to a maglev positioning system