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