instrument used in coal mining