International Reference Ionosphere as a potential regularization profile for computerized ionospheric tomography