U.S. airstrike in Libya kills ISIS leader