Phenotype correction of hemophilia A mice by spliceosome-mediated RNA trans-splicing