Optimizing Space Amplification in RocksDB