Happiness, introversion–extraversion and happy introverts · Study