Upper Approximation of Non-additive Measures by k-additive Measures --- The Case of Belief Functions