Curt Cignetti introduced as new IU football head coach