proptech total addressable market