SPA: A Probabilistic Algorithm for Spliced Alignment