DoubleDown revenue rises 12.7% on gaming growth