Stateful Large Language Model Serving with Pensieve