A Model of BGP Routing for Network Engineering Nick Feamster, MIT Jared Winick, Lockheed Martin Jennifer Rexford, AT&T Labs--Research