Microsoft profit numbers say don’t write off Redmond yet