Spliceosome assembly is coupled to RNA polymerase II dynamics at the 3′ end of human genes