A guide to mental health in the electronic music industry