mining supply company profiletools used in coal mining