3080Ti vs 4080 size comparison : r/nvidia