What was the percentage for the answer of "Yes" was given to the question "Has your employer ever formally discussed mental health (for example, as part of a wellness campaign or other official communication)?"?
percentage = divide(count(QuestionID = 15& AnswerText = 'Yes'), count(QuestionID = 15))*100%
SELECT CAST(SUM(CASE  WHEN T1.AnswerText LIKE 'Yes' THEN 1 ELSE 0 END) AS REAL) * 100 / COUNT(T1.UserID) FROM Answer AS T1 INNER JOIN Question AS T2 ON T1.QuestionID = T2.questionid WHERE T2.questiontext LIKE 'Has your employer ever formally discussed mental health (for example, as part of a wellness campaign or other official communication)?'
database name:db_id mental_health_survey
Question table Question Cols: question text dtype text, question id dtype integer, 
Survey table Survey Cols: Survey ID dtype integer, Description dtype text, 
Answer table Answer Cols: Answer Text dtype text, Survey ID dtype integer, User ID dtype integer, Question ID dtype integer, 
