“奇迹是努力的另一个名字”用英文怎么说?