Gravar-mail: Secondary structures for splice junctions in eukaryotic and viral messenger RNA precursors.