Forty years on: the origins and successes of the UK naval nuclear propulsion programme