Stylized agent-based modeling on linking emission trading systems and its implications for China's practice