Asynchronous session subtyping as communicating automata refinement