What exactly is "casein"? I am lactose intolerant but the gi doc never mentioned anything about casein. Thanks, Mary in Colorado