The k-assignment Polytope and the Space of Evolutionary Trees