Model-based leak localization in small water supply networks