Active transitive inference: When learner control facilitates integrative encoding