Asymptotically nonexpansive mappings