Windows 10’s next major update will include Windows ML, a new AI platform