The office is dead, long live the office: PropTech’s golden opportunity