如何在PHP中使用printf函数来格式化输出?