Normal and mutant human β-globin pre-mRNAs are faithfully and efficiently spliced in vitro