Is it guaranteed that if txid2 > txid1 then current_timestamp in transaction 2 >= current_timestamp in transaction 1?