A comprehensive analysis of pneumatic solenoid valves: principles, classification and applications