Better data for public health: how Nexleaf & PagerDuty are monitoring healthcare infrastructure