Stochastic modeling and optimization of garbage collection algorithms in solid-state drive systems