Alcoholics Anonymous and other 12-step programs for alcohol use disorder.