Elasto-plastic analysis of a circular borehole in elastic-strain softening coal seams