Robin Williams and depression: We all wear a mask