A Brief History of Options