Operator product expansion for inclusive semileptonic decays in heavy quark effective field theory