what is gamma-butyrolactone used for