История и особенности минирования Большого театра