History of the term "skin diving"