Adapting to Online Label Shift with Provable Guarantees