Javier Sotomayor satte världsrekord i höjdhopp 1993, ett rekord som år 2012 fortfarande står sig. Hur högt hoppade han?