The interleukin 23 receptor is essential for the terminal differentiation of interleukin 17–producing effector T helper cells in vivo