Lotería Navidad 2023: ¿Qué impuestos se pagan con un décimo compartido y quién lo declara a Hacienda?