JET: the Joint European Torus