Red Sox retiring David Ortiz’s number