A Power-Efficient Smart Lighting System: Modeling, Implementation and Evaluation