GeForce RTX 4090 overclocking record reaches 3.93GHz