What does router R1 use as its OSPF router-ID?