Understanding Area Code 801: Coverage, Cities, and More