When was prime minister first mentioned in a government document in the UK?