Understand the Redistribution of OSPF Routes into BGP