PopekとGoldbergの仮想化要件