Touchcreen market to double in 2010: Gartner