South Africa to proceed with Karoo shale gas exploration