Analisis mendalam transformasi industri properti lewat big data dan IoT guna mendukung efisiensi operasional pengembang serta kemudahan investasi bagi milenial