Vandals introduce Paul Petrino as new head coach