Additive manufacturing for COVID-19: devices, materials, prospects, and challenges