A study of mental health in the tech industry