Gravar-mail: Spliceman—a computational web server that predicts sequence variations in pre-mRNA splicing