By my count, Linux has 11% of the desktop market. Here's how I got that number