Optimal Reasoning of Opposing Non-functional Requirements based on Game Theory