Modeling the Dutch Frequency Restoration Reserve Market