WORLD PROPERTY MARKETS, a Miami-based proptech firm, is developing large-scale digital infrastructure to connect global buyer demand with property supply in real time.