Probabilistic Lookahead Strong Branching via a Stochastic Abstract Branching Model