Monotonic and non-monotonic properties of product quality in flexible manufacturing systems with batch operations.