Addressing Network Survivability Issues by Finding the K-Best Paths through a Trellis Graph