Hume's Problem Solved (The Optimality of Meta-Induction)