Spanish police use an algorithm to assess the risk of repeat domestic violence. Does it work?