Physical exercise and depression.