Point defect and electronic properties of uranium dioxide | Synapse