Pentagon awards Microsoft $9.7 billion deal in bid to cut costs, end license sprawl