Optimization based algorithms for uncertainty propagation through functions with multidimensional output within evidence theory