Instrumentation for in situ coal gasification.