In Huawei AR routers, what is the default OSPF priority value?