Fair Refinement for Asynchronous Session Types