Gartner's take on Q1 smartphone market share