Bioinformatics of human proteomics (2013)