Does PHP use a VM?