process instrumentation in coal mines