GPS tomography of the ionospheric electron content with a correlation functional