Marathon Oil promotes Henderson to senior VP of operations