Can an agreement which is formed purely through the operation of algorithms be considered a binding contract? If so, can such a contract be unilaterally cancelled because of a mistake, where such mistake resulted in trades being concluded at 250 times the market rate?