How researchers analyzed Allstate’s car insurance algorithm