Finite model reasoning over existential rules