How Verizon and a BGP Optimizer Knocked Large Parts of the Internet Offline Today