Pore-scale modeling of flow in particle packs containing grain-coating and pore-filling hydrates: Verification of a Kozeny–Carman-based permeability reduction model