What is Zipf's law? Where does it show up?