Modeling the Dynamics of Tuberculosis-Diabetes Mellitus Coinfection with an Optimal Control Approach | Synapse