Mining in Africa: Regulation and Development