Text this: Education, industrialization and the end of empire in Singapore