Interface Automata for Choreographies