Exports during the pandemic: enhanced by digitalization