How much was Turkey ordered to pay in compensation to Cyprus