Micron names new CEO in wake of Steve Appleton's death in plane crash