The influences of coal mining on the large karst springs in North China