Bioinformatics for comparative proteomics