When an enterprise network is designed, which protocol provides redundancy for edge devices in the event of a first-hop failure?