“Scheme-theoretic images” of morphisms of stacks