A Texas jury found him guilty of murder. A computer algorithm proved his innocence.