Gravar-mail: XLSearch: a Probabilistic Database Search Algorithm for Identifying Cross-Linked Peptides