Approximation algorithms for hard variants of the stable marriage and hospitals/residents problems