NVIDIA shares more gaming benchmarks for the RTX 4080 GPUs