Miller’s execution was scrutinized because a forensic psychiatrist found him ‘mentally ill at the time of the offenses’