Linux profitability: How successful are the companies behind the biggest distros?