How gas pumps know when to turn themselves off