El Gordo is Spain’s famous Christmas lottery. It has the highest payout of any lottery in the world. We explain how it all works.