Title: Industrial relations in mines other than coal mines