Tighter Value-Function Approximations for POMDPs