Existential Rule Languages with Finite Chase: Complexity and Expressiveness