Unifying Futures and Spot Market: Overbooking-Enabled Resource Trading in Mobile Edge Networks | Arena Library | Arena