Totally coherent set-valued probability assessments