Pets reduce workplace stress, it’s official