Coal mine void detection