Taxing times for African mining