IBM now worth more than Microsoft