Control-Tree Optimization: an approach to MPC under discrete Partial Observability