amount of asset sale price allocated to actuarial surplus was includible under s. 56(1)(a)(i) as being in lieu of refund of such surplus