Probability and branching in Everettian Quantum Physics