The Equivalence Between the Categories of Giry-Algebras and Convex Spaces