PropTech市場規模、シェアおよび主要業界プレーヤーの予測(2024年から2030年)