Apple must pay Optis $502 million lump sum in UK patent dispute, court rules