Gangue grouting filling in subsequent space of coal green mining: methodology and case study | Synapse