Comprehensive design methodology for coal mining under competent sandstone roof