Supported by the Czech Society for Operations Research.