Firmly nonexpansive mappings