Text this: The effect of batched patient–physician assignment on patient length of stay in the emergency department