Optimal environmental taxation in the presence of other taxes