Are tech professionals happier than most?