High-Level Framework for GIS-Based Optimization of Building Photovoltaic Potential at Urban Scale Using BIM and LiDAR | Synapse