Consistency-based Merging of Variability Models