Statistics for HL-LHC WP17 - Infrastructure, Logistics and Civil Engineering