When/how did the practice of tipping (at restaurants and the like) develop, and why did it come to be universal in some places (like the US) but not in other places?