Approximation algorithms for power minimization of earliest deadline first and rate monotonic schedules