Measuring urban agglomeration economies with office rents