Microsoft stock up 5% despite missing revenue estimates