Reports: Vandals pick Paul Petrino as next head coach