Louisville announces it has hired Petrino as coach