Microsoft’s Nokia Deal by the Numbers