Is the extraction time programmable or do you have to stop manually? Especially when you have visitors or are still sleepy in the morning, I'm glad when a machine doses automatically.