Vertex Algebras and Coordinate Rings of Semi-infinite Flags