Research progress of in situ leaching and its mathematical model