Integer-friendly formulations for the r-separation problem