A theoretical model for in situ leaching of radionuclides from buried radioactive waste