What are more efficient than most other types of electric lighting