Popek and Goldberg virtualization requirements