Circuit of the Americas tops out Formula 1 pit building in Texas