Report: Western Michigan hires Tim Lester as new head coach