SODA: An Algorithm to Guarantee Correctness of Concurrent Transaction Execution in Mobile P2P Databases