A pandemia da COVID-19 no Brasil: a série de projeções do Institute for Health Metrics and Evaluation e a evolução observada, maio a agosto de 2020