Labelled Propositional Modal Logics: Theory and Practice