How severe is Africa’s brain drain?