MÁY KHOAN GIẾNG, MÁY KHOAN ĐÁ, MÁY NÉN KHÍ