Characterizing the Program Expressive Power of Existential Rule Languages