Technical and economic strategies for smart electrification of urban districts: A probabilistic modelling framework | Synapse