Quantifying gaps in the tuberculosis care cascade in Brazil: A mathematical model study using national program data | Synapse