Integer Programming models for computational biology problems