A Brief History of Diving Tech: 9 Milestones