what is the world record for the highest pole vault