which pump is used in petrol pump