So do WP8 run on WinRT? (Can't watch the presentation at the moment.)