Genome-wide analysis of alternative splicing of pre-mRNA under salt stress in Arabidopsis