Conservative Extensions for Existential Rules