NaNet-10: a 10GbE network interface card for the GPU-based low-level trigger of the NA62 RICH detector