Russia leads the world at nuclear-reactor exports