Kiyoshi Nagai CryoEM snapshots of the spliceosome provide insights into the mechanism of pre-mRNA splicing