A Sound and Complete Backward Chaining Algorithm for Existential Rules