Proving Incentive Compatibility in Multi-Attribute Auctions