Model-Theoretic Analysis of Asher and Vieu's Mereotopology