PRIDE: PRoteomic IDEntifications Database