On the number of vertices and edges of the Buneman graph