Benchmark of two quench codes for the protection study of an high field HTS insert dipole