How Important Is Micro-Betting for User Retention in Sportsbooks?