Mapping the Moral Mind: Computational & Formal Approaches to Understanding Prosocial Behaviour