GIS-based Software Infrastructure to Model PV Generation in Fine-grained Spatio-temporal Domain