How does humor affect mental health in social media?