Algorithms are increasingly used to make decisions about our lives. Could they help the police reduce crime, asks David Edmonds.