Sheriff Scotland, In Scotland a sheriff principal (pl.