Theory in Practice: Why Exponential Backoff is Good