Managing depression with exercise