An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation