san antonio is part of texas