Modular Construction and Power Modelling of Dynamic Memory Managers for Embedded Systems