Image formation theory of optical coherence tomography with optical aberrations and its application to computational aberration correction. — SciRadar