Washington's COVID exposure notification app averted cases,