Nine workers had been trapped inside the mine on January 6 when the quarry was flooded. Four bodies were recovered since then