Economic efficiency of different carbon pricing systems