Working from home and productivity under the COVID-19 pandemic: Using survey data of four manufacturing firms