Buda — city in Hays County, Texas, United States