On the termination problem for probabilistic higher-order recursive programs