Development and operation of coal mines in Queensland, Australia, and South Africa.