Text this: Bernoulli Meets PBFT: Modeling BFT Protocols in the Presence of Dynamic Failures