Tomography-based determination of porosity, specific area and permeability of snow and comparison with measurements