The mining of South African thick coal seams: rock mechanics and mining considerations