Top dominance and the possibility of strategy-proof stable solutions to matching problems