Representation theory of the vertex algebraW1+∞