Adequacy of air change rate as the sole indicator of an air distribution system's effectiveness to mitigate airborne infectious disease transmission caused by a cough release in the room with overhead mixing ventilation: A case study