Cerner names Dr. David Feinberg as CEO