Stability in the hospitals / residents problem with couples and ties: mathematical models and computational studies