The T cell receptor is formed during which stage of thymocyte development?