Statistics for Nigeria's public health response to the COVID-19 pandemic: January to May 2020