Leptin receptor knockout-induced depression-like behaviors and attenuated antidepressant effects of exercise are associated with STAT3/SOCS3 signaling