Review of oil shale in-situ conversion technology