First geodetic measurement of convergence across the Java Trench