FlexiGIS: an open source GIS-based platform for the optimisation of flexibility options in urban energy systems. (October 2018)