Coppa Italia, derby Inter-Milan: cosa succederebbe in caso di parità al 90′