How much electricity does a variable frequency air compressor save compared to an industrial frequency air compressor?