Trading in Collaborative Mobile Edge Computing Networks: A Contract Theory-based Auction Model