Are Software Engineers Depressed? A Guide to Mental Health in Software Engineering