Computing biological functions using BioΨ, a formal description of biological processes based on elementary bricks of actions