International miners set to benefit as China curbs germanium exports