Robin Williams' passing prompts mental health discussion