What are proptechs?

For all the talk of how they're revolutionizing real estate, some are asking just what the heck are proptechs anyway?