Text this: Surveying and mapping in colonial Sri Lanka