Justified Fairness in House Allocation Problems: two Characterizations of Strategy-proof Mechanisms | Synapse