Properties of the operator product expansion in quantum field theory