What is BGP? A Pillar of the Modern Internet