Stochastic Degradation Modeling and Maintenance Optimization for LED Lighting Systems in Commercial Buildings