Synergetic System for Water Body Detection in Coal Mine: A Case Study