A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification