Formation volume analysis and pore volume analysis of contaminated soils based on cone penetration tests and logging of penetration holes