Mining terms defined, from the Royal Commission on the Pike River Coal Mine Tragedy.