Fluid power--pneumatics: An analysis of basic theory and behavior of gaseous media for practical applications, with appendices on fluid power symbols and metric conversion