Richard Kron, Sloan Digital Sky Survey co-founder, retires