Mechanisms for Resource Allocation and Pricing in Mobile Edge Computing Systems