Joint Design of Emission Tax and Trading Systems