What about the race between education and technology in the Global South? Comparing skill premiums in colonial Africa and Asia