Nokia's market share slumps in first quarter: Gartner