Swimming pool leak detection and repair