Determination of the cholesterol saturation of human bile and its relevance to gallstone formation