Why Permanent Magnet Frequency Conversion Air Compressors are More Energy Efficient Than Industrial Air Compressors