Requeriments de virtualització de Popek i Goldberg