Gravar-mail: SASD: the Synthetic Alternative Splicing Database for identifying novel isoform from proteomics