sensors used in coal mining