In the US, some criminal court judges now use algorithms to guide decisions on bail