Model-Based Comparison of Cloud-Edge Computing Resource Allocation Policies. (1st July 2020)