Joint design of LGV and pallet shuttle fleets for warehouse automation