F-35 deploys to Europe for the first time