JobShop Examples updated so that they follow the new notation. Changes applied in the documentation