The induced magnetosphere of comet Halley: 4. Comparison of in situ observations and numerical simulations