Model-Based System Engineering Framework for Superconducting Accelerator Magnet Design