A Computational Model for Histone Mark Propagation Reproduces the Distribution of Heterochromatin in Different Human Cell Types