Android to challenge Nokia’s Symbian by 2014: Gartner