Mike Lynch: Autonomy founder extradited to US in criminal case