Notes on TiKV sharding and Raft usage