Chase termination for guarded existential rules