Real Madrid penalty overturned after a 5-minute VAR check