Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams