Pep2Prob Benchmark: Predicting Fragment Ion Probability for MS$^2$-based Proteomics