TEX-CUP: The University of Texas Challenge for Urban Positioning