Se celebra el funeral de los cincos mineros muertos en la explosión de la mina de Asturias