IBM now more valuable than Microsoft