nuclear reactors are used to produce energy in submarines