Spain closes coal mines. Mining unions celebrate.