Analysis of Practical Backoff Protocols for Contention Resolution with Multiple Servers.