Are software developers happy?