Multi-domain modeling and simulation of proportional solenoid valve