Field Modeling and Thrust Analysis of Linear Induction Motor Considering Edge-End Effect and Core Saturation | Synapse