Texas mayor chosen by pulling name out of hat