Including batch scheduling flexibility in industrial energy system design and dispatch optimization: A case study of a brewery | Synapse