The baseball community reacts to Derek Jeter’s number retirement