How Option Markets Affect Price Discovery on the Spot Markets: A Survey of the Empirical Literature and Synthesis