Quantitative Penetration Testing with Item Response Theory (extended version)