The vertex function in Witten's formulation of string field theory