A Short History of Financial Bubbles, Part 1: The Diving Technology Bubble in 1690s London