Engagement in Protective Behaviors by Digital Exposure Notification Users During the COVID-19 Pandemic, Washington State, January–June 2021. (November 2022)