Which treaty formally ended World War I?