Point-Based Value Iteration for Finite-Horizon POMDPs