Mining subsidence — past, present, future