ON THE CALCULATION OF THE CLEARANCE TO THE HARD STOP FOR SEISMICALLY ISOLATED NUCLEAR POWER PLANTS