Describir: Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes