Budget-Constrained Optimal Deployment of Redundant Services in Edge Computing Environment