Quantifying the Impacts of COVID-19 Mobility Restrictions on Ridership and Farebox Revenues: The Case of Mass Rapid Transit in Jakarta, Indonesia