Automatic Network Protocol Synthesis from UML Sequence Diagrams