Mining-Induced Stress and Ground Pressure Behavior Characteristics in Mining a Thick Coal Seam With Hard Roofs | Synapse