Volkswagen sets Porsche IPO at up to 9.4 billion euros