Happiness at work: Developing a shorter measure