Data Transaction Modeling in Mobile Networks: Contract Mechanism and Performance Analysis