underground coal mining depth measure equipment