Theoretical insight into the selectivities of copper-catalyzing heterogeneous reduction of carbon dioxide