linux desktop market share 2 percent