So, how do Reactor Coolant Injectors work?