Technologies that have been jump-started by COVID-19