Active canonical WNT signaling (as determined by nuclear β-catenin) stratifies the four murine colon tumor models into two groups