Effective metric model theory