K set-agreement bounds in round-based models through combinatorial topology