Clean electricity procurement for electrolytic hydrogen: A framework for determining time-matching requirements