The IRA division in Michigan divorce