Linear constraints for ensuring k -hop connectivity using Mixed-Integer Programming for Multi-Agent Systems