UK's newest aircraft carrier to be repaired after leak