Можете объяснить, что такое WSDL и зачем он используется в веб-сервисах?