The global art market, by the numbers