Berth allocation problem in dry bulk terminals