An extension of LogiCO to specify logistics services