Structural basis on the efficient CO2 reduction of acidophilic formate dehydrogenase