Vertex $F$-algebras and their $\phi$-coordinated modules