Who is Mike Lynch, the British tech entrepreneur missing after sinking of yacht?