IBM lowers revenue forecast on AI infrastructure shift