Relative uniform $K$-stability over models implies existence of extremal metrics

We prove that an extremal metric on a polarised smooth complex projective variety exists if it is $\mathbb{G}$-uniformly $K$-stable relative to the extremal torus over models, extending a result due to Chi Li for constant scalar curvature Kähler metrics.