A Kleene Theorem and Decision Problems for Probability and Angelic Nondeterminism