Text this: Effectiveness of a digital data gathering system to manage the first pandemic wave among healthcare workers in a main European coronavirus disease 2019 (COVID-19) tertiary-care hospital