QCD factorization for exclusive non-leptonic B-meson decays: general arguments and the case of heavy–light final states