Conformal Prediction: a Unified Review of Theory and New Challenges