Efficiency, Justified Envy, and Incentives in Priority-Based Matching