Mapping the human proteome for non-redundant peptide islands