Lahore TwinIoT simulation of a city, one building at a time