Quench Protection System for a 13-T Magnet With a 700-mm Bore