Quasi-nonexpansive mappings