Air pollution is bad for productivity, even in office jobs