UK government allows teachers to use AI for marking