Determination of the specific surface area of porous silicon from its etch rate in HF solutions