A formal model of emotion triggers: an approach for BDI agents