Predicting the phase diagram of solid carbon dioxide at high pressure from first principles