How GitHub Uses Machine Learning to Extend Vulnerability Code Scanning