Texas election challenge formally docketed at SC