Provider of historical options and equity data used by institutional investors, academics, and quantitative analysts.