Automatic Identification of Public Lighting Failures in Satellite Images: A Case Study in Seville, Spain | IEEE Conference Publication | IEEE Xplore