Some instruments and instrument techniques in use at the Safety in Mines Research Establishment