How do electromagnetic flowmeter manufacturers' products prevent leakage?