High-throughput proteomics and bioinformatics: joined at the hip