Understanding Network-Level High Availability