欧元正式启动的时间是（ ）。