Effects of high-temperature thermal treatment on the porosity of red sandstone: an NMR analysis