Explaining Iowa's mandatory life sentence for those convicted of first-degree murder