Mike Lynch estate and business partner owe HP Enterprise £700M, court rules