Validity of smoking prevalence estimates from primary care electronic health records compared with national population survey data for England, 2007 to 2011