Boolean model personalization at the single-cell level to investigate colorectal cancer (CRC) response to Cell cycle checkpoint inhibitor