PHP如何調用Tuxedo服務,請給出范例。