Expansion of the product of two local operators inserted close to each other as an asymptotic series with local-operator coefficients