Ex-cop Derek Chauvin’s wife files for divorce