How are electromagnetic flow meters used in the petroleum industry?