Redistribution and optimal mixed taxation in the presence of consumption externalities