An iteration process for nonexpansive mappings with applications to fixed point theory in product spaces