Mining in Africa: a legal overview