Georgia Tech introduces new head coach Brent Key