Minimizing ISP Network Energy Cost: Formulation and Solutions