Understanding Area Code 580: Coverage, Cities, and More