Effects of education and social contact on mental health-related stigma among high-school students