Old-fashioned special effects: thunder and wind machines at the Teatro della Pergola, of the type used in the 17th century