Impact of Covid-19 on African mine production