Services, Standards, and Technologies for High Performance Computational Proteomics