Distribution, function, and properties of leptin receptors in the brain.