A scheme actuary’s calculation of the sponsoring employer’s debt cannot be challenged by insolvency practitioners in the absence of fraud or error