Rooftop photovoltaics in urban microscale LES modeling: Implementation and validation | Synapse