Gravar-mail: Extracting smoking data from GP electronic health records