Optimal Exit Time from Casino Gambling: Strategies of Pre-Committed and Naive Gamblers