Qual das seguintes tecnologias é amplamente utilizada para a virtualização de hardware e execução de múltiplas máquinas virtuais em um único host físico?