Feature Unweaving: Refactoring Software Requirements Specifications into Software Product Lines