How does a gas pump know when to shut off?