An asynchronous distributed algorithm for real-time payments-processing in a partially-connected network of banks