Understanding Area Code 713: Coverage, Cities, and More