Integrated hydrogeophysical modelling and data assimilation for geoelectrical leak detection.