Time2Stop: Adaptive and Explainable Human-AI Loop for Smartphone Overuse Intervention