The triangle closure is a polyhedron