waco is part of texas