Methodology in air pollution epidemiology for large-scale exposure prediction and environmental trials with non-compliance