A high-level framework for efficient computation of performance - energy trade-offs in Markov population models