Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences and Inconsistency Handling