Verification and validation of numerical models of the transport of insulation debris