Google and Apple launch COVID-19 Exposure Notification API for public health apps