Semiclassical collision theory in the initial value representation: Efficient numerics and reactive formalism