World’s first mobile underground mine gas lab launched