Exchangeable probability distributions