Text this: SIR model-based verification of effect of COVID-19 Contact-Confirming Application (COCOA) on reducing infectors in Japan