On July 4, 1939, who became the first major league baseball player to have his number retired?