Innovation, tools, and services for libraries: the COVID-19 challenge