Nine algorithms to change the world