ASTRI-Horn is first Cherenkov telescope in dual-mirror configuration to detect the Crab Nebula at TeV energies