Cerner names Brent Shafer new CEO