Determinants of mine closures in a declining industry: The example of West German hard-coal mining after World War Two