Majority of US teachers now use AI tools, saving an average of 5.9 hours each week