PHP libraries for managing USSD SMS messaging with Nexmo