Bobby Petrino to coach football at Western Kentucky