What was the time with which a teammate of Bryan Howard had the 100 m world record?