Demining by Russian military engineers of the historical part of the Syrian city of Palmyra