Gravar-mail: Mining PeptideAtlas for biomarkers and therapeutics in human disease