Activist Starboard Value takes stake in online travel company Tripadvisor, stock jumps