PHP to work with the HMRC SOAP API for Real Time Information (PAYE)