A Formal Optimization Model for 5G Mobile Network Slice Resource Allocation | IEEE Conference Publication | IEEE Xplore