Vertical Sorting, Height Premiums and Productivity in Multi-Tenant Office Buildings