Radiotomography and HF ray tracing of the artificially disturbed ionosphere above the Sura heating facility