Exercise as a treatment for depression