Axioms for a vertex algebra and the locality of quantum fields