How gas pumps know when tank is full