4D in situ synchrotron X-ray tomographic microscopy and laser-based heating study of oil shale pyrolysis