handbook for the safety of civilian nuclear-powered ships