Lessons learnt from education data mapping in Africa: Workshop summary and synthesis