Comparison between Pyrococcus horikoshii and Pyrococcus abyssi genome sequences reveals linkage of restriction–modification genes with large genome polymorphisms