Australian coalmining and mine mechanisation.