A short history of the Survey of London