industrial relations including disciplinary procedures in mining