Phase change and thermal subsidence of the Williston basin