drilling machine used in mines