Resource allocation and network pricing based on double auction in mobile edge computing