Microsoft and the US tax authority have at least a $10 billion discrepancy in their back tax calculation