IBM overtakes Microsoft in market value (again)