Interactive Methods for Multi-Objective Integer Linear Programming