'Almost-stable' matchings in the hospitals / residents problem with couples: An integer programming approach