High-intensity discharge lamps