¿Cuándo se cobra la paga extra de Navidad y cómo se calcula?.-