When was the American retired professional basketball player which  O'Neal was traded to Miami for born