Georgia Tech hires Texas assistant Blake Gideon as defensive coordinator