Exploitation of developed coal mine pillars by shortwall mining—a case example