Should Microsoft still have purchased Nokia's smartphone business?