400-MHz/60-mm All-REBCO Nuclear Magnetic Resonance Magnet: Magnet Design