Texas Democrats’ walkout to block a new map, by the numbers