Gravar-mail: Digital Technologies-Enabled Smart Manufacturing and Industry 4.0 in the Post-COVID-19 Era: Lessons Learnt from a Pandemic