PHP如何调用Tuxedo服务,请给出范例。