Magnachip Semiconductor names industry veteran Chae Lee as CEO, effective July 1