How do electromagnetic flow meter manufacturers' products handle pipe leaks?