Artificial intelligence, machine learning and bibliographic control : DDC Short Numbers - towards machine-based classifying