Did vegetation change drive the extinction of Paranthropus boisei?