maszyna wydmuchująca sprężone powietrze, używana w górnictwie