Applications of Linear Programming Techniques to Satellite Power Management and Scheduling