Towards a formal analysis of primate alarm calls