who holds the record for the high jump