The Hospitals/Residents Problem with Couples: complexity and integer programming models