Coal-mine gases, technical information for use in vocational training classes [with references for further study].