A Software Engineer’s Guide to Mental Health