Strategy-proofness versus efficiency in exchange economies: General domain properties and applications