Virtual Threads: New Foundations for High-Scale Java Applications