Operator product expansion in two-dimensional quantum electrodynamics