Georgia Tech introduces new permanent head football coach