Consistency and identifiability of the polymorphism-aware phylogenetic models. (7th February 2020)