Adaptive interventions for both accuracy and time in AI-assisted human decision making