Investigating tumor-associated macrophages and their polarization in colorectal cancer using Boolean implication