A Probabilistic Higher-Order Fixpoint Logic