Finding Nadir Points for Multi-criteria Integer Programming Problems