A theoretical study on the structures of UO2(CO3)34−, Ca2UO2(CO3)30, and Ba2UO2(CO3)30