Michael Johnson sets world record