Mining subsidence and its effect on the environment: some differing examples