Microsoft has to pay a customer $10,000 for unwanted Windows 10 upgrade