During ordinary operation, the tungsten of the filament evaporates; hotter, more-efficient filaments evaporate faster. What type of lamp has higher efficiency but are used where the cost is high compared to the value of energy used?