The TRA Tool: Modeling and Projecting Readiness Levels with MBSE | Synapse