Contract-Theoretic Demand Response Management In Smart Grid Systems