Gauge-independent effective action for quantum electrodynamics in Euclidean de Sitter space