Satellite-based methane and greenhouse gas monitoring using miniaturized cooled hyperspectral instruments