Extracting hydrogen from rocks