北京是（ ）命名的。