Protecting miners from coal bursts during development above historic mine workings in Harlan County, KY