How Many Faulty Nodes Can BFT Systems Tolerate: The 3f+1 Rule Explained