Location is everything in real estate — but efficiency is a close second. These proptech companies develop digital solutions to increase speed and scale.