Molecular structure of uranium carbides: isomers of UC3.