Pacta sunt servanda and the licencing and taxation of North Sea oil production