Theoretical and Experimental Analysis of Eddy Current Contactless Speed Sensors for Linear Motor Elevators