Satisfaction and performance of software developers during enforced work from home in the COVID-19 pandemic