A new index of ethnic stratification reveals that ethnic differences matter for conflict if, and only if, they coincide with economic differences