Human-Centric Order Batching and Allocation When Picking With Robot Teammates in the Warehouse