Update sharding-introduction.txt