Erbium in oxygen-doped silicon: Electroluminescence