Text this: The social agency of instruments of surveying and exploration c.1830–1930.