Imperial designs: technology and empire in the 19th century