How Online Backup works in MyRocks and RocksDB