gas testing in south african coal mines