Recruiting DT Benny Patterson flips to Michigan