Simulation Modeling of a Booster Transformer Operation in the Railway Traction Power Supply System | Synapse