Energy and the Dutch Industrial Revolution