Lumped Parameter Modeling and Analysis of Electromagnetic Linear Actuator