How using your ‘down time’ effectively boosts work performance, happiness