Being happy at work really makes you more productive