The β-catenin–TCF-1 pathway ensures CD4+CD8+ thymocyte survival