The history of the jump rope