Title: Optimal linear taxation of polluting firms