Solving the Batch Stochastic Bin Packing Problem in Cloud: A Chance-constrained Optimization Approach