A Utilization Model for Optimization of Checkpoint Intervals in Distributed Stream Processing Systems.