Gravar-mail: Selection of splice sites in pre-mRNAs with short internal exons.