Teachers can use AI to save time on marking, new guidance says