The Coal-Mining Sector during Colonialism and after ‘Independence’