Do tech companies' AI investments actually overlap with national priorities?