Magic Leap appoints Microsoft exec as CEO