Controller discretization: A gap metric framework for analysis and synthesis